Intuitionistic type theory

#	Item
41	PDF Document Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2012-11-02 09:24:49 Theoretical computer science Logic in computer science Lambda calculus Proof theory Dependently typed programming Curry–Howard correspondence Intuitionistic type theory Combinatory logic Natural deduction Mathematics Mathematical logic Type theory
42	PDF Document Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2006-12-28 16:47:05 Computing OCaml Coq Type system Type variable Intuitionistic type theory ML ATS Monad Software engineering Programming language theory Type theory